theorem 23 class 9